$\forall$$A$, $B$:Realizer. $A$ $\parallel$ $B$ $\Rightarrow$ ($\forall$$i$:Id. R{-}da($A$;$i$) $\parallel$ R{-}da($B$;$i$))